first-order dynamic logic
[计] 一阶动态逻辑
热门查询
- indescribably adv. 难以形容地；不明确地
- klick n. 公里（东南亚国家用语） n. (Klick)人名；(德、英)克利克
- reshaping v. 矫形；使…再成形；[建] 重新修整（reshape的ing形式）
- regulations n. [管理] 条例；规程（regulation的复数）；章则
- closeness n. 亲密；接近；密闭；严密
- dissembling vt. 掩饰，掩盖；假装 vi. 隐藏，掩饰（思想、感情等）
- resistance n. 阻力；电阻；抵抗；反抗；抵抗力
- impersonate vt. 扮演；模仿；拟人，人格化
- rotten adj. 腐烂的；堕落的；恶臭的；虚弱的；极坏的 adv. 非常 n. (Rotten)人名；(法、德)罗滕
- harcourt 哈考特（姓氏）
- scaffolding n. 脚手架；搭脚手架的材料
- hedging n. 限制；模糊；对冲；套头交易；平衡交易；抛买 v. 围住；约束；限制（hedge的ing形式）
- callous n. 硬皮；老茧 adj. 无情的；麻木的；硬结的；起老茧的 vt. 使冷酷无情；使硬结；使生茧 vi. 变得冷酷无情；结茧；变硬
- carport n. 车库；（美）车棚
- roundel n. 小圆盘；圆形饰物
- feudalism n. 封建主义；封建制度
- youngish adj. 还年轻的，颇年轻的
- dysphonia n. [耳鼻喉] 发声困难；言语障碍
- greenway n. 园林路；林荫道路 n. (Greenway)人名；(英)格林韦
- commentary n. 评论；注释；评注；说明
